Symbolic system

Results: 148



#Item
71Computer arithmetic / Polynomial / Arbitrary-precision arithmetic / Integral transform / MATLAB / Differential equation / Square root / Floating point / Vector space / Mathematics / Algebra / Mathematical analysis

Jasymca[removed]Symbolic Calculator for Java Helmut Dersch March 15, 2009 Abstract Jasymca is an interactive System for solving math problems. It supports arbitrary precision numbers and symbolic variables. Scalars, vector

Add to Reading List

Source URL: webuser.hs-furtwangen.de

Language: English - Date: 2009-03-15 14:17:19
72Network file systems / Distributed data storage / GlusterFS / Internet privacy / Dropbox / Privacy / File system / Symbolic link / Gluster / Computing / Cloud computing / Software

1 BUILDING A CLOUD FILESYSTEM Jeff Darcy / Mark Wagner Principal Software Engineers, Red Hat

Add to Reading List

Source URL: pl.atyp.us

Language: English - Date: 2011-05-05 11:37:32
73Economy of Alaska / Trans-Alaska Pipeline System / Transportation in Alaska / Folk music / Maria Muldaur / United States / Alaska / Western United States / BP

Michael Henchman is a multi-instrumentalist whose songwriting often draws inspiration from roads less traveled, both symbolic and real, that have beckoned since childhood. Growing up in Europe and across the U.S., and li

Add to Reading List

Source URL: michaelhenchman.com

Language: English - Date: 2015-02-20 15:43:31
74Theoretical computer science / Automated theorem proving / Concolic testing / Symbolic execution / KeY / Parallel computing / X86 / Type system / Algorithm / Data types / Formal methods / Computing

Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2012-09-22 22:22:15
75File managers / File system / Symbolic link / Find / Computer file / Windows Vista / Windows Explorer / Software / System software / Computing

FSLINT 1 Published : [removed]License : None

Add to Reading List

Source URL: en.flossmanuals.net

Language: English - Date: 2014-02-19 17:20:25
76Software engineering / Automated theorem proving / Concolic testing / Symbolic execution / KeY / X86 / Parallel computing / Function / Type system / Mathematics / Computing / Data types

Unleashing Mayhem on Binary Code

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
77Computing / Computer hardware / Calculator / HP 9g / Hewlett-Packard / HP calculators / HP-49 series / Graphing calculators / Programmable calculators / Technology

HP 39gs Graphing Calculator This ideal classroom graphing tool uses familiar algebraic entry-system logic and displays answers in symbolic, numeric, and graphing views. Create and store custom Aplets with

Add to Reading List

Source URL: www.curtin.edu.my

Language: English - Date: 2009-02-04 01:10:00
78File system / Symbolic link / NTFS / Java Platform /  Standard Edition / Computer file / Open / Ln / Path / Hard link / Computing / Disk file systems / Java specification requests

Java SE 7: New and Improved APIs Agenda • 

Add to Reading List

Source URL: www.oracle.com

Language: English
79Applied mathematics / Symbolic computation / Algorithm / Parallel computing / Computer algebra system / Polynomial / Algebraic geometry / Magma computer algebra system / Mathematics / Computer algebra / Algebra

PARALLEL SYSTEM OF COMPUTER ALGEBRA Malaschonok G.I. Tambov State University Laboratory of Algebraic Computations Internatsionalnaya, 33, Tambov[removed], RUSSIA e-mail: [removed]

Add to Reading List

Source URL: lit.jinr.ru

Language: English - Date: 2012-05-11 15:26:28
UPDATE